Nuprl Lemma : bool_ind 13,42

P:(). P(ff)  P(tt)  {b:P(b)} 
latex


Upbool 1, bool 1
Definitionst  T, {T}, x(s), P  Q, , x:AB(x), Unit, , , tt, ff
Lemmasbfalse wf, btrue wf, bool wf

origin